доступное доказательство

См. также в других словарях:

• БЛАГО — [греч. τὸ ἀγαθόν, τὸ εὖ, τὸ καλόν; лат. bonum, bonitas], конечный (предельный) предмет стремления человека, движение к к рому не нуждается в дальнейшем обосновании; в богословии одно из Божественных имен (см. Имя Божие). Как философская категория …   Православная энциклопедия

• ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… …   Православная энциклопедия

• Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… …   Энциклопедия инвестора

• ГОСТ Р 51904-2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию — Терминология ГОСТ Р 51904 2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию оригинал документа: 3.1 алгоритм: Конечное множество четко определенных правил, которые задают последовательность действий …   Словарь-справочник терминов нормативно-технической документации

• ГРИГОРИЙ ПАЛАМА — [Греч. Γρηγόριος Παλαμᾶς] (ок. 1296, К поль 14.11.1357, Фессалоника), свт. (пам. 14 нояб., переходящее празд. во 2 ю Неделю Великого поста), архиеп. Фессалоникийский, отец и учитель Церкви. Жизнь Источники Свт. Григорий Палама. Икона. Посл. треть …   Православная энциклопедия

• ДУНС СКОТ — (Duns Scotus) Иоанн (1265/1266 1308) средневековый философ и теолог, прозванный за свою склонность к сложным логическим дистинкциям «Тонким доктором» (doctor subtilis). Род. в Шотландии, вступил в францисканский орден в возрасте около пятнадцати… …   Философская энциклопедия

• КАНТ — (Kant) Иммануил (1724 1804) нем. философ, крупнейший представитель нем. идеализма. Доцент (1755 1770), проф. Кёнигсбергского ун та (1770 1796). В философии К. традиционно выделяется два периода: «докритический» (до 1770) и «критический». Ранние… …   Философская энциклопедия

• Суффиксное дерево — Суффиксное дерево  бор, содержащий все суффиксы некоторой строки (и только их). Позволяет выяснять, входит ли строка w в исходную строку t, за время O(|w|), где |w|  длина строки w. Содержание 1 Основные определения и описание структуры …   Википедия

• Дерево суффиксов — Суффиксное дерево  способ организации данных (строк), позволяющий выяснять, входит ли строка w в строку t, за время O(|w|), где |w|  длина строки w. Содержание 1 Основные определения и описание структуры 2 Свойства суффиксных д …   Википедия

• МЕТАФИЗИЧЕСКИЕ РАЗМЫШЛЕНИЯ — ’МЕТАФИЗИЧЕСКИЕ РАЗМЫШЛЕНИЯ’ главное философское произведение Декарта. Работа над сочинением была завершена в 1640. Еще до его опубликования Декарт предложил трактат на обсуждение с тем, чтобы, получив возражения от своих оппонентов, дать… …   История Философии: Энциклопедия

• Семейство волчьи, или псовые —         (Canidae)** * * Семейство объединяет 16 современных родов и 36 видов. Псовые широко распространены в Евразии, Африке, Северной и Южной Америке, на Новую Гвинею и в Австралию проникли с человеком. За исключением одного вида, имеют более… …   Жизнь животных